Finite automata

Results: 673



#Item
341Computer science / Automata theory / Computability theory / Theory of computation / Algorithm / Mathematical logic / Halting problem / Finite-state machine / Determinism / Theoretical computer science / Models of computation / Applied mathematics

Two fundamental problems connected with AI Abstract This paper is about two fundamental problems in the field of computer science. Solving these two problems is important because it has to do with the creation of Artific

Add to Reading List

Source URL: www.dobrev.com

Language: English - Date: 2007-04-22 07:35:32
342Applied mathematics / Nondeterministic finite automaton / Deterministic finite automaton / Powerset construction / Ω-automaton / Regular language / Regular expression / Formal language / Symbol / Automata theory / Theoretical computer science / Computer science

Microsoft PowerPoint - Automata Theory 101.ppt

Add to Reading List

Source URL: www.cse.unsw.edu.au

Language: English - Date: 2006-06-05 00:33:10
343Applied mathematics / Models of computation / Spanning tree / Deterministic finite automaton / Graph coloring / Minimum spanning tree / Nondeterministic finite automaton / Tree / Finite-state machine / Theoretical computer science / Automata theory / Mathematics

Microsoft Word - fp289-kumar.doc

Add to Reading List

Source URL: www1.cs.columbia.edu

Language: English - Date: 2006-10-10 13:42:44
344Computing / Regular expressions / Theoretical computer science / Pattern matching / Models of computation / ReDoS / Nondeterministic finite automaton / Deterministic finite automaton / Lexical analysis / Automata theory / Formal languages / Software engineering

Static Analysis for Regular Expression Denial-of-Service Attacks James Kirrage Asiri Rathnayake

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2013-01-07 21:44:41
345Formal languages / Computer science / Nondeterministic finite automaton / Finite-state machine / Regular language / Ω-automaton / Automata theory / Models of computation / Theoretical computer science

Quasi-Weak Cost Functions A New Variant of Weakness Achim Blumensath1 Thomas Colcombet2 Denis Kuperberg3 Christof L¨oding4 Pawel Parys3 Michael Vanden Boom5 1 TU

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2014-04-30 05:09:51
346Computer science / Applied mathematics / Deterministic finite automaton / Finite-state machine / Grammar induction / Algorithm / Sequence / Powerset construction / Automata theory / Models of computation / Theoretical computer science

A Note on Phase Transitions and Computational Pitfalls of Learning from Sequences Antoine Cornu´ejols1 & Mich`ele Sebag2 1 AgroParisTech / INRA

Add to Reading List

Source URL: eprints.pascal-network.org

Language: English - Date: 2008-01-16 05:03:29
347Ω-automaton / Büchi automaton / Tree automaton / Star height / Alternating finite automaton / Muller automaton / Automata theory / Theoretical computer science / Computer science

Deciding the weak definability of Büchi definable tree languages∗ Thomas Colcombet1 , Denis Kuperberg2 , Christof Löding3 , and Michael Vanden Boom4 1,2 CNRS and LIAFA, Université Paris Diderot Paris, France

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2013-07-10 12:10:51
348Mathematics / Applied mathematics / Regular language / Aperiodic monoid / Star-free language / Finite-state machine / Krohn–Rhodes theory / Deterministic pushdown automaton / Automata theory / Formal languages / Theoretical computer science

Automata theory Regular Cost Functions Formalisms on finite words

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2014-05-22 04:28:13
349Models of computation / Mathematics / Automata theory / FO / Finite model theory

Nondeterminism in the Presence of Diverse or Unknown Future. U. Boker1 , D. Kuperberg2,3 , O. Kupferman2 , M. Skrzypczak3 1 IST 2 Hebrew

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2014-01-07 04:43:59
350Science / Philosophy of science / Automata theory / Finite-state machine / Determinism

Good-for-Games Automata versus Deterministic Automata. Denis Kuperberg1,2 1 University Michal Skrzypczak1

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2015-02-12 04:24:43
UPDATE